#!/bin/bash
webots-bin
